<html>
<body>
Replaces an octal escape sequence in a Java file with a Unicode escape sequence.
</body>
</html>